Thomas Meyer Belief Liberation ( and Retraction )
نویسندگان
چکیده
We provide a formal study of belief retraction operators that do not necessarily satisfy the (Inclusion) postulate. Our intuition is that a rational description of belief change must do justice to cases in which dropping a belief can lead to the inclusion, or ‘liberation’, of others in an agent’s corpus. We provide two models of liberation via retraction operators: σ-liberation and linear liberation. We show that the class of σ-liberation operators is included in the class of linear ones and provide axiomatic characterisations for each class. We show how any retraction operator (including the liberation operators) can be ‘converted’ into either a withdrawal operator (i.e., satisfying (Inclusion)) or a revision operator via (a slight variant of) the Harper Identity and the Levi Identity respectively.
منابع مشابه
A unifying semantics for belief change
Many belief change formalisms employ plausibility orderings over the set of possible worlds to determine how the beliefs of an agent ought to be modified after the receipt of a new epistemic input. While most such possible world semantics rely on a single ordering, we look at using an extra ordering to aid in guiding the process of belief change. We show that this provides a unifying semantics ...
متن کاملDouble preference relations for generalised belief change
Many belief change formalisms employ plausibility orderings over the set of possible worlds to determine how the beliefs of an agent ought to be modified after the receipt of a new epistemic input. While most such possible world semantics rely on a single ordering, we investigate the use of an additional preference ordering—representing, for instance, the epistemic context the agent finds itsel...
متن کاملType IV pilus retraction in pathogenic Neisseria is regulated by the PilC proteins.
Pathogenic Neisseria express type IV pili (tfp), which have been shown to play a central role in the interactions of bacteria with their environment. The regulation of piliation thus constitutes a central element in bacterial life cycle. The PilC proteins are outer membrane-associated proteins that have a key role in tfp biogenesis since PilC-null mutants appear defective for fibre expression. ...
متن کاملImproving Recovery for Belief Bases
The Recovery postulate for contraction says that any beliefs lost due to the contraction of some belief p should return if p is immediately re-asserted. Recovery holds for logically closed sets of beliefs, but it does not hold for belief bases (sets of beliefs that are not logically closed). This paper discusses the Recovery aspect of the belief base optimizing operation of reconsideration (whi...
متن کامل